#!/bin/bash

echo "Gerando Saida"
./Maude/maude-linux64/maude.linux64 PetriNetSplit.maude > Debug/PetriNetSplit.saida
echo "Gerando Arquivo Temporario"
cat Debug/PetriNetSplit.saida | python scripts/maude2dot.py > Debug/PetriNetSplit.dot
echo "Gerando Imagem jpg"
dot -Tjpg Debug/PetriNetSplit.dot -o PetriNetSplit.jpg
echo "Saida Grafica Gerada!"
read -p 'Digite [Enter] para continuar...'
